Este artigo explora o uso de metodologias lúdicas, como gamificação e narrativas, para tornar o ensino de Lógica mais dinâmico e acessível no Ensino Médio. Através de enigmas como os do tipo Cavaleiros e Patifes, abordam-se tanto a lógica proposicional clássica quanto as não-clássicas (notadamente, as lógicas paraconsistentes e modal),proporcionando um aprendizado ativo e colaborativo. O artigo oferece ferramentas práticas para educadores, com ênfase no desenvolvimento de competências críticas e na criação de um ambiente inclusivo, acessível a todos os alunos.

Neste artigo discutimos a passagem da “virada naturalista” à “virada informacional” na Filosofia, ao argumentar que o processo de desconstrução da metafísica da subjetividade ocorrido na primeira virada teria contribuído para a emergência da segunda. Evidenciamos, com isso, como a concepção cartesiana de ser humano como único possuidor de alma e medida de todas as coisas passou para um cenário no qual ele é concebido como apenas mais uma animal dentre outros (pela influência do darwinismo) e, posteriormente, como a exclusividade (...) e superioridade do ser humano foi novamente afetada com o desenvolvimento de “modelos mecânicos da mente”. Por fim, justificamos a relevância da análise da subjetividade também pela ótica da Ética Informacional, tendo em vista a crescente incorporação das tecnologias no cotidiano dos indivíduos, bem como as características subjacentes a tais tecnologias. (shrink)

"Paraconsistent Belief Revision Based on a Formal Consistency Operator" delves into Belief Revision—a significant area of research in Formal Philosophy that uses logic to model the ways in which human and artificial agents modify their beliefs in response to new information and examines how these changes can be considered rational. -/- Originally authored as a PhD thesis (previously published in Portuguese), this work provides a novel epistemic interpretation of Paraconsistency through Paraconsistent Belief Revision systems. It explores the concept of paraconsistency (...) from the standpoint of epistemic attitudes of acceptance and rejection. -/- This work challenges the traditional notion that accepting a new belief requires retracting its negation from the current epistemic state. The author contends that such reflexive retraction goes against the principle of informational economy, which is a crucial aspect of rationality in the context of belief change. Consequently, the phenomenon of paraconsistency is further examined from this fresh perspective of belief change, shedding light on the complexities of the Logics of Formal Inconsistency (LFIs). These LFIs provide the foundational logic, offering a comprehensive framework for understanding and implementing paraconsistent principles within belief revision systems. -/- This thesis was supervised by Marcelo Esteban Coniglio and co-supervised by Márcio Moretto Ribeiro, as part of Rafael Rodrigues Testa's doctoral studies at the University of Campinas (Unicamp), Brazil. (shrink)

In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the notion of formal (...) consistency. (shrink)

Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the three usual (...) operations over belief sets, namely expansion, contraction and revision (which is obtained from contraction by the Levi identity), the underlying paraconsistent logic allows us to define additional operations involving (non-explosive) contradictions. Thus, it is defined external revision (which is obtained from contraction by the reverse Levi identity), consolidation and semi-revision, all of them over belief sets. It is worth noting that the latter operations, introduced by S. Hansson, involve the temporary acceptance of contradictory beliefs, and so they were originally defined only for belief bases. Unlike to previous proposals in the literature, only defined for specific paraconsistent logics, the present approach can be applied to a general class of paraconsistent logics which are supraclassical, thus preserving the spirit of AGM. Moreover, representation theorems w.r.t. constructions based on selection functions are obtained for all the operations. (shrink)

Na era das tecnologias digitais, entender vieses algorítmicos por meio das teorias da verdade ajuda a fazer perguntas cujas respostas facilitam a filtragem da informação de forma mais eficaz. O ganho é a compreensão aprofundada da realidade.

Paraconsistency is the study of logical systems with a non-explosive negation such that a pair of contradictory formulas (with respect to such negation) does not necessarily imply triviality, discordant to what would be expected by contemporary logical orthodoxy. From a purely logical point of view, the significance of paraconsistency relies on the meticulous distinction between the general notions of contradictoriness and triviality of a theory—respectively, the fact that a given theory proves a proposition and its negation, and the fact that (...) a given theory proves any proposition (in the language of its underlying logic). Aside from this simple rationale, the formal techniques and approaches that meet the latter definitional requirement are manifold. Furthermore, it is not solely the logical-mathematical properties of such systems that are open to debate. Rather, there are several foundational and philosophical questions worth studying, including the very question about the nature of the contradictions allowed by paraconsistentists. This entry aims to advance a brief account of some distinct approaches to paraconsistency, providing a panorama on the development of paraconsistent logic. (shrink)

A Revisão de Crenças estuda como agentes racionais mudam suas crenças ao receberem novas informações. O sistema AGM, trabalho mais influente desta área apresentado por Alchourrón, Gärdenfos e Makinson, postula critérios de racionalidade para os diferentes tipos de mudança de crenças e oferece construções explícitas para tais - a equivalência entre os postulados e operações é chamado de teroema da representação. Trabalhos recentes mostram como o paradigma AGM pode ser compatível com diferentes lógicas não-clássicas, o que é chamado de AGM-compatibilidade (...) - este é o caso da família de lógicas paraconsistentes que analisamos, as Lógicas da Inconsistência Formal (LFIs, da sigla em inglês). A despeito da AGM-compatibilidade, ao se partir de uma nova lógica sua racionalidade subjacente deve ser entendida e sua linguagem deve ser efetivamente usada. Propomos assim novas construções que de fato capturam a intuição presente na LFIs - é o que chamamos de sistema AGMo. Com isso, possibilitamos a estas lógicas uma nova interpretação, na esteira da epistemologia formal. Em uma abordagem alternativa, ao se partir da AGM-compatibilidade os resultados AGM podem ser diretamente aplicados às LFIs - o que chamamos de sistema AGMp. Em ambas abordagens, provamos os respectivos teoremas da representação sempre que necessário. (shrink)

By Belief Revision it is understood a system that logically explains the rational process of changing beliefs by taking into account a new piece of information. The most influential approach in this field of study, the AGM system, proposed by Alchourrón, Gärdenfors, and Makinson, postulates rationality criteria for different types of belief change. In this paper I shall assess the relationship between those criteria and argue for an opposition between the principles of Information Economy and Consistency. Furthermore, I shall argue (...) that Paraconsistent Belief Revision manages to minimise this friction in the best possible way. (shrink)

Resumo -/- A partir da experiência de produção de uma videoaula de Lógica em Libras (Testa, Moraes, Bizio e Caló, 2021) para o IFSP FILOLIBRAS, inserida no contexto do projeto ‘O Ensino de Filosofia para Surdos: elaboração de material didático em uma perspectiva de inclusão escolar’ (Moraes e Bizio, 2021), levantamos algumas questões relativas ao arcabouço teórico do projeto. Após introduzirmos as motivações do projeto, explicamos como sua metodologia foi tratada no contexto da aula de Lógica, expondo as principais (...) dificuldades e soluções encontradas. Através da análise desta experiência, pretendemos levantar subsídios teóricos para pesquisas futuras no tema, incluindo a produção de um curso inteiramente voltado para o ensino de Lógica em Libras, não apenas enquanto área da Filosofia, mas também enquanto área de estudo multi e transdisciplinar, propedêutica ao fomento do Pensamento Crítico. -/- Palavras-chave: Ensino de Lógica, Educação Especial, Pedagogia Bilíngue, Libras. -/- Abstract -/- Based on the experience of producing a video lesson on Logic in Libras (Testa, Moraes, Bizio and Caló, 2021) to the IFSP FILOLIBRAS, inserted in the context of the project ‘O Ensino de Filosofia para Surdos: elaboração de material didático em uma perspectiva de inclusão escolar’ (‘Teaching Philosophy for Deaf students: elaboration of didactic material in a perspective of inclusive education’, in a free translation) (Moraes and Bizio, 2021), we raise some questions regarding the theoretical framework of the project. After introducing the motivations of the project, we explain how the chosen methodology was considered in the context of the Logic class, exposing the main difficulties and solutions found. Through the analysis of this experience, we intend to raise theoretical subsidies for future research on the subject, including the production of a course entirely focused on the teaching of Logic in Libras, not only as an area of Philosophy but also as a multi and transdisciplinary area of study, propaedeutic to fostering Critical Thinking. -/- Keywords: Teaching Logic, Special Education, Bilingual Pedagogy, Libras. (shrink)

Revision operation is the consistent expansion of a theory by a new belief-representing sentence. We consider that in a paraconsistent setting this desideratum can be accomplished in at least three distinct ways: the output of a revision operation should be either non-trivial or non-contradictory (in general or relative to the new belief). In this paper those distinctions will be explored in the constructive level by showing how the remainder sets could be refined, capturing the key concepts of paraconsistency in a (...) dynamical scenario. These are preliminaries results of a wider project on Paraconsistent Belief Change conduced by the authors. (shrink)

This article proposes a general strategy to overcome normative conflicts, namely, paradoxes represented in Standard Deontic Logic. This solution is based on preference relations between norms that circumvent situations of conflict. Pragmatic justifications of the proposed method are also given.

Neste artigo fazemos uma discussão conceitual acerca da ferramenta de escolha por nós apresentada no trabalho “Solving Normative Conflicts using Preference Relations”, isto é, explicitamos a racionalidade subjacente a tal ferramenta, bem como as consequências práticas de sua aceitação.

Nosso objetivo neste trabalho é apresentar uma proposta de solução a paradoxos relacionados à lógica deôntica presentes na literatura, reunidos sob o que é chamado de dilemas deônticos - situações nas quais duas obrigações conflitantes estão presentes num mesmo sistema normativo. Situações deste tipo, quando formalizadas (em SDL - standard deontic logic - ou em outras lógicas relacionadas), levam a uma inconsistência. Nossa proposta baseia-se em relações de preferência que geram uma ferramenta de escolha dentre as duas soluções normativas conflitantes, (...) o que evita a inconsistência e permite o pleno cumprimento do sistema. Justificativas filosóficas são fornecidas as ferramentas lógicas, bem como as suas implicações. (shrink)

O propósito deste trabalho é analisar a estrutura e discutir a aplicação da(s) lógica(s) deôntica(s) na representação de normas jurídicas. Após uma apresentação desta(s) lógic(s) e, em particular, do sistema de von Wright e da SDL (Standard Deontic Logic), veremos as dificuldades de se aplicar uma lógica à análise do direito positivo: as regras da lógica devem permitir realizar sobre as normas formalizadas somente os tipos de inferência e operaçôes lógicas intuitivamente feitas pelos juristas, ou seja, a reconstrução lógica do (...) direito positivo não se trata de uma tarefa de criação do direito, mas uma tarefa de representação daquilo que o conceito de direito usual reconhece como tal. Para ilustrar estas dificuldades, abordaremos as propostas de Carlos Alchourrón em artigo de 1975, “Condicionalidad y la representación de las normas jurídicas”. (shrink)

This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some examples that emphasizes the importance of (...) a fine-tuned treatment of consistency in modelling reputation systems, preferences, argumentation, and evidence. (shrink)

Qual o lugar da filosofia nos dias atuais? Diante das inúmeras respostas possíveis a esta questão, nos debruçaremos em alguns tópicos que podemos inserir na chamada Ética Informacional, um ramo de investigação filosófico-interdisciplinar relativamente recente que discute problemas oriundos da relação ser humano/tecnologias digitais. Temas como privacidade informacional, arrogância epistêmica e divisão digital serão discutidos e relacionados, com o intuito de ilustrar o papel da filosofia na compreensão da complexidade inerente às dinâmicas sociais no contexto da sociedade da informação. Argumentaremos (...) que pensar o mundo contemporâneo a partir do viés da ética informacional se faz cada dia mais imprescindível para que possamos entrar em sintonia com as rápidas mudanças que a revolução informacional impõe à vida em sociedade e não sermos levados pelas enxurradas informacionais que presenciamos diariamente. (shrink)

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...) science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

O presente artigo deseja observar como a crônica esportiva de futebol (especialmente a produção textual de Nelson Rodrigues e José Lins do Rego) consegue engendrar, em sua narrativa, mundos possíveis que, mesmo com atributos ficcionais, se vinculam à referencialidade dos fatos ocorridos no esporte. Utilizando-se o arcabouço teórico de Umberto Eco e de David Lewis, o objetivo aqui é refletir acerca desse exercício de isomorfismo linguístico, bem como desvelar as estratégias altermundistas utilizadas.

This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...) congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (shrink)

In this paper I will argue that critical theory needs to make its socio-ontological commitments explicit, whilst on the other hand I will posit that contemporary social ontology needs to amend its formalistic approach by embodying a critical theory perspective. In the first part of my paper I will discuss how the question was posed in Horkheimer’s essays of the 1930s, which leave open two options: (1) a constructive inclusion of social ontology within social philosophy, or else (2) a program (...) of social philosophy that excludes social ontology. Option (2) corresponds to Adorno’s position, which I argue is forced to recur to a hidden social ontology. Following option (1), I first develop a metacritical analysis of Searle, arguing that his social ontology presupposes a notion of 'recognition' which it cannot account for. Furthermore, by means of a critical reading of Honneth, I argue that critical theory could incorporate a socioontological approach, giving value to the constitutive socio-ontological role of recognition and to the socio-ontological role of objectification. I will finish with a proposal for a socio-ontological characterization of reification which involves that the basic occurrence of recognition is to be grasped at the level of background practices. (shrink)

This article aims to review the standard objections to dualism and to argue that will either fail to convince someone committed to dualism or are flawed on independent grounds. I begin by presenting the taxonomy of metaphysical positions on concrete particulars as they relate to the dispute between materialists and dualists, and in particular substance dualism is defined. In the first section, several kinds of substance dualism are distinguished and the relevant varieties of this kind of dualism are selected. The (...) remaining sections are analyses of the standard objections to substance dualism : It is uninformative, has troubles accounting for soul individuation, causal pairing and interaction, violates laws of physics, is made implausible by the development of neuroscience and it postulates entities beyond necessity. I conclude that none of these objections is successful. (shrink)

n this paper, I analyse Rahel Jaeggi’s socio-ontological account of forms of life. I show that her framework is a two-sided one, since it involves an understanding of forms of life both as inert bundles of practices and as having a normative structure. Here I argue that this approach is based on an a priori argument which assumes normativity as the condition of intelligibility of social criticism. I show that the intimate tension between these two sides is reflected in the (...) socio-ontological model of the constitution of social phenomena, which on the one side is understood in terms of habituation and materialization, and on the other side in terms of constitution through norms. The second side in the end prevails and leads to some sort of normative essentialism which involves a prescriptive meta-theoretical understanding of normativity combined with a socio-ontological model of constitutive rules. I then analyse two arguments that Jaeggi offers in support of her assumption that normative constitution is the deep structure of social practices. I name these the functional- teleological argument, and the crisis developmental argument, and argue that neither succeeds in proving that practices are not normatively underdetermined. (shrink)

In this article I intend to show the strict relation between the notions of “second nature” and “recognition”. To do so I begin with a problem (circularity) proper to the theory of Hegelian and post- Hegelian Anerkennung. The solution strategy I propose is signifi cant also in terms of bringing into focus the problems connected with a notion of “space of reasons” that stems from the Hegelian concept of “Spirit”. I thus broach the notion of “second nature” as a bridgeconcept (...) that can play a key role both for a renewal of the theory of Anerkennung and for a rethinking of the “space of reasons” within the debate between Robert Brandom and John McDowell. Against this background I illustrate the novelties introduced by the dialectical conception of the relation between fi rst and second nature developed by Hegel and the contribution this idea can make to a revisited theory of recognition as a phenomenon articulated on two levels. I then return to the question of the space of reasons to show the contribution the renewed conception of recognition as second nature makes to the definition of its intrinsic sociality as something that is not in principle opposed to a sense of naturalness. (shrink)

I tackle the definition of the relation between first and second nature while examining some problems with McDowell's conception. This, in the first place, will bring out the need to extend the notion of second nature to the social dimension, understanding it not just as `inner' second nature — individual mind — but also as `outer' second nature — objective spirit. In the second place the dialectical connection between these two notions of second nature will point the way to a (...) critical use of the concept itself, which will link up with a theory of reification. Furthermore, I shall endeavor to fit my reflection into the problematic constellation of critical theory: my analysis in fact rests on the question whether, within a critical theory, the philosophy of nature can be recaptured today, in such a way as to give meaning to the very notion of socio-philosophical criticism of reality. (shrink)

Gottfried Leibniz embarked on a research program to prove all the Aristotelic categorical syllogisms by diagrammatic and algebraic methods. He succeeded in proving them by means of Euler diagrams, but didn’t produce a manuscript with their algebraic proofs. We demonstrate how key excerpts scattered across various Leibniz’s drafts on logic contained sufficient ingredients to prove them by an algebraic method –which we call the Leibniz-Cayley (LC) system– without having to make use of the more expressive and complex machinery of first-order (...) quantificational logic. In addition, we prove the classic categorical syllogisms again by a relational method –which we call the McColl-Ladd (ML) system– employing categorical relations studied by Hugh McColl and Christine Ladd. Finally, we show the connection of ML and LC with Boolean algebra, proving that ML is a consequence of LC, and that LC is a consequence of the Boolean lattice axioms, thus establishing Leibniz’s historical priority over George Boole in characterizing and applying (a sufficient fragment of) Boolean algebra to effectively tackle categorical syllogistic. (shrink)

The paper proposes a reconstruction of some fragments of Hegel’s Jena manuscripts concerning the natural genesis of recognitive spiritual consciousness. On this basis it will be argued that recognition has a foothold in nature. As a consequence, recognition should not be understood as a bootstrapping process, that is, as a self-positing and self-justifying normative social phenomenon, intelligible within itself and independently of anything external to it.

Dewey’s notion of second nature is strictly connected with that of habit. I reconstruct the Hegelian heritage of this model and argue that habit qua second nature is understood by Dewey as a something which encompasses both the subjective and the objective dimension – individual dispositions and features of the objective natural and social environment.. Secondly, the notion of habit qua second nature is used by Dewey both in a descriptive and in a critical sense and is as such a (...) dialectical concept which connects ‘impulse’ and ‘habit’, ‘original’ or ‘native’ and ‘acquired’ nature, ‘first’ and ‘second nature’. Thirdly, the ethical model of second nature as habituation and the aesthetic model of second nature as art are for Dewey not opposed to one another, since by distinguishing ‘routine’ and ‘art’ as two modes of habit, he makes space for an expressive and creative notion of second nature. Finally, I argue that the expressive dialectics of habit formation plays a crucial role in Dewey’s critical social philosophy and that first and second nature operate as benchmark concepts for his diagnosis of social pathologies. (shrink)

Introductory essay to the collection "I that is We, We that is I" (ed. by Italo Testa and Luigi Ruggiu, Brill Books, 2016). In this book an international group of philosophers explore the many facets of Hegel’s formula which expresses the recognitive and social structures of human life. The book offers a guiding thread for the reconstruction of crucial motifs of contemporary thought such as the socio-ontological paradigm; the action-theoretical model in moral and social philosophy; the question of naturalism; (...) and the reassessment of the relevance of work and power for our understanding of human life. This collection addresses the shortcomings of Kantian and constructivist normative approaches to social practices and practical rationality it involves. It sheds new light on Hegel’s take on metaphysics and puts into question some presuppositions of the post-metaphysical interpretative paradigm. (shrink)

The COVID-19 pandemic has brought significant challenges to healthcare systems worldwide, and in Africa, given the lack of resources, they are likely to be even more acute. The usefulness of Traditional African Healers in helping to mitigate the effects of pandemic has been neglected. We argue from an ethical perspective that these healers can and should have an important role in informing and guiding local communities in Africa on how to prevent the spread of COVID-19. Particularly, we argue not only (...) that much of the philosophy underlying Traditional African Medicine is adequate and compatible with preventive measures for COVID-19, but also that Traditional African Healers have some unique cultural capital for influencing and enforcing such preventive measures. The paper therefore suggests that not only given the cultural context of Africa where Traditional African Healers have a special role, but also because of the normative strength of the Afro-communitarian philosophy that informs it, there are good ethical reasons to endorse policies that involve Traditional Healers in the fight against COVID-19. We also maintain that concerns about Traditional African Healers objectionably violating patient confidentiality or being paternalistic are much weaker in the face of COVID-19. (shrink)

A similar framing of inarticulable formations, of pure multiplicities, marks the respective projects of Deleuze and Laplanche. The absolute exteriority of a disjunctive multiplicity is re-inscribed as a relativised, interiorised trace. This trace-logic of Deleuze and Laplanche has definitive implications where the psychoanalytic subject and the unconscious is concerned. However, there is a difficulty in this logic of accounting for the unconscious formations enumerated by Freud (slips of the tongue, jokes, symptoms etc.). In turning to Lacan, however, the positions of (...) Deleuze and Laplanche can be illuminated (despite their attempt to ‘move beyond’ him). We see the trace in its material, unconscious substantiality upheld by the function of the big Other as an absent centre to which discourse is referred and through which the speaking subject is revealed as being in a discrepant relation to itself. The big Other, in his function as intimate, yet lacking, alterity, seems to help to resolve the problematic of multiplicity for Deleuze and Laplanche. (shrink)

This article deals with the question of skepticism within Hegel's Phenomenology. The article reconstructs the role played by the tropes of ancient skepticism in Hegel's criticism of foundationalism and monological thinking. Furthermore, the skeptical method applied by Hegel is read as a sort of negative dialectics that is constitutive of a relational theory of rationality, and which culminates in his conception of the Absolute Knowing as speculative tropology.

The meaning of Enlightenment for the young Hegel (1785-1800) is closely related to the historical and theoretical moment in which skepticism became a constitutive aspect of his dialectical conception of philosophy. In this light the paper shows that the problem of skepticism understood as self-reflection of epistemological and social critique is deeply linked in the young Hegel’s writings with the archeology of the very idea of the dialectics of enlightenment.

In this paper recognition is taken to be a question of social ontology, regarding the very constitution of the social space of interaction. I concentrate on the question of whether certain aspects of the theory of recognition can be translated into the terms of a socio-ontological paradigm: to do so, I make reference to some conceptual tools derived from John Searle's social ontology and Robert Brandom's normative pragmatics. My strategy consists in showing that recognitive phenomena cannot be isolated at the (...) level of human interaction, and are, rather, in part proper to animal interaction as well. Furthermore, it is argued that recognitive powers are constitutive powers more basic than deontic ones and play a role much broader than the one they in fact assume in Searle and in Brandom. (shrink)

Introduction to a Forum on Michael's Thompson "Life and Action".

Hegel's philosophy aims at responding to the questions raised by modern scepticism concerning the accessibility of the external world, of other minds, and of one's own mind. A key-role in Hegel's argumentative strategy against modern scepticism is played here by Hegel's theory of recognition. Recognition mediates the constitution of individual self-consciousness and intersubjectivity: self-knowledge is not logically independent of the awareness of other minds. At the same time, recognition institutes the possibility of objective reference to the world. In this way, (...) in Hegel the theory of recognition furnishes a unitary response to the threefold sceptical issue of the accessibility of the external world, of other minds, and of one's own mind. The reference to a common world of public objects is thus possible only thanks to the mediation of recognitive capacities that are naturally possessed and socially articulated, which make possible the triangulation between self, world and others. (shrink)

Autonomy has been central to moral and political philosophy for millenia, and has been positioned as a critical aspect of both justice and wellbeing. Research in psychology supports this position, providing empirical evidence that autonomy is critical to motivation, personal growth and psychological wellness. Responsible AI will require an understanding of, and ability to effectively design for, human autonomy (rather than just machine autonomy) if it is to genuinely benefit humanity. Yet the effects on human autonomy of digital experiences are (...) neither straightforward nor consistent, and are complicated by commercial interests and tensions around compulsive overuse. This multi-layered reality requires an analysis that is itself multidimensional and that takes into account human experience at various levels of resolution. We borrow from HCI and psychological research to apply a model (“METUX”) that identifies six distinct spheres of technology experience. We demonstrate the value of the model for understanding human autonomy in a technology ethics context at multiple levels by applying it to the real-world case study of an AI-enhanced video recommender system. In the process we argue for the following three claims: 1) There are autonomy-related consequences to algorithms representing the interests of third parties, and they are not impartial and rational extensions of the self, as is often perceived; 2) Designing for autonomy is an ethical imperative critical to the future design of responsible AI; and 3) Autonomy-support must be analysed from at least six spheres of experience in order to approriately capture contradictory and downstream effects. (shrink)

Paper given at the 20th Biennial Meeting of the Hegel Society of America, University of South Carolina, October 24-26, 2008 -/- The local problem of the soul-body relation can be grasped only against the global background of the relation between Nature and Spirit. This relates to Hegel's naturalism: the idea that there is one single reality - living reality - and different levels of description of it. This implies, moreover, that it is possible to ascribe some form of naturality also (...) to the social body of institutionalized ethical life. Hegel’s position can thus be characterised as a kind of aristotelian social naturalism: this, at bottom, is the combined meaning of the Hegelian theses that soul is the substance of Spirit, and habit its universal form. (shrink)

In _"I that is We, We that is I"_ leading scholars analyze the many facets of Hegel’s formula for the intersubjective structure of human life and explores its relevance for debates on social ontology, recognition, action theory, constructivism, and naturalism.

In this contribution I outline some ideas on what the pragmatist model of habit ontology could offer us as regards the appreciation of the constitutive role that imagery plays for social action and cognition. Accordingly, a Deweyan understanding of habit would allow for an understanding of imagery in terms of embodied cognition rather than in representational terms. I first underline the motor character of imagery, and the role its embodiment in habit plays for the anticipation of action. Secondly, I reconstruct (...) Dewey's notion of imaginative rehearsal in light of contemporary, competing models of intersubjectivity such as embodied simulation theory and the narrative practice hypothesis, and argue that the Deweyan model offers us a more encompassing framework which can be useful for reconciling these approaches. In this text I am mainly concerned with sketching a broad picture of the lines along which such a project could be developed. For this reason not all questions are given equal attention, and I shall concentrate mainly on the basic ideas, without going directly into the details of many of them. (shrink)

In this essay I first set out the advantages the " multivariate democratic polity " framework proposed by Ferrara offers in comparison to other more consensus-based notions of democratic legitimacy. Secondly, I highlight some ambiguities concerning the meta-theoretical status of this frame, since it is not clear whether it consists of an adaptive realistic description, or otherwise is a normative argument. Thirdly, I cast some doubts on the compatibility between the multivariate frame and the " dualist conception of democratic constitutionalism (...) " adopted by Ferrara, since the latter seems too indebted to the domestic analogy, and to a consensus-based model of legitimacy. Finally, I argue that the dualist approach does not seem a convenient way to include citizenship in deliberative processes, and the question of the emergence of a transnational demos should rather be reconsidered as crucial for this purpose. (shrink)

Deliberative politics should start from an adequate and differentiated image of our dialogical practices and their normative structures; the ideals that we eventually propose for deliberative politics should be tested against this background. In this article I will argue that equal respect, understood as respect a priori conferred on persons, is not and should not be counted as a constitutive normative ground of public discourse. Furthermore, requiring such respect, even if it might facilitate dialogue, could have negative effects and lead (...) to fallacious paths of thought –as seems to happen on matters of deep disagreement such as the Colorado Fundamentalist/Gay HIV issue I discuss in paragraph 6. I will put forward this argument from the standpoint of argumentation or discourse theory, drawing consequences for dialogical theories of politics. Basing my argument on a pluralistic notion of public discourse – understood as a mixed discourse of persuasion, information-seeking and negotiation – I will argue that respect is a dynamic, situational phenomenon, and that the norm of equal respect for persons is contextually contingent in political deliberation: equal respect should be considered as a potential outcome, a discursive achievement – which I understand as a second order consensus achieved dynamically on a provisional basis – rather than as an universal condition for dialogue. (shrink)

In this paper, making reference to Robert Brandom's philosophical proposal - and against the background of Brandom's debate with Jürgen Habermas - I shall endeavor, first, to define the relation between recognition and normativity and then between recognition and criticism; in the final part of the paper I shall suggest a perspective that approaches recognition in terms of capacities. On this basis I attempt to see the critical attitude as something that is founded more on individual potentials than on formal (...) criteria and that is essentially connected with a power of redescription: a dialectical anthropology of recognition is thus the most promising base to account for that which substantiates our critical powers. (shrink)

In this paper I illustrate what is reconstructive rationality, a notion that remains rather undetermined in Robert Brandom's work. I argue that theoretical and historical thinking are instances of reconstruction and should not be identified with it. I then explore a further instance of rational reconstruction, which Brandom calls “reconstructive metaphysics”, arguing that the demarcation between metaphysical and non-metaphysical theories has to be understood as a pragmatic one. Finally, I argue that Brandom’s reconstructive metaphysics is basically a pragmatist metaphysics. Here (...) I try to outline a pragmatist understanding of the concept of metaphysics in order to reconcile Brandom's more or less implicit attempt at metaphysical theorizing with his devotion to a pragmatist tradition that is resistant if not hostile to the very idea of metaphysics. Hence I come back to the question of how pragmatism has contributed to the understanding of “reconstructive rationality”, and argue that the latter is a notion of rationality which is needed by Brandom’s philosophy but which cannot find a clear place in the typology of the five forms of rationality that he introduces, being more akin to the core structure of rationality rather than a specific form of it. (shrink)

In this article I argue that contemporary critical theory needs the conceptual tools of social ontology in order to make its own ontological commitments explicit and strengthen its interdisciplinary approach. On the other hand, contemporary analytic social ontology needs critical theory in order to be able to focus on the role that social change, power, and historicity play in the constitution of social facts, and to see the shortcomings of an agential and intentionalist approach to social facts. My thesis is (...) strengthened by a historical reconstruction of the presence of two different approaches in the original program of the family of critical theory apparently most hostile to social ontology, (the Frankfurt School), namely Horkheimer’s program of a critical social philosophy which includes a social ontology, and Adorno’s negative attitude towards it, epitomized by the paradoxical notion of “ontology of the false state”. Adorno’s negative attitude was later inherited by Habermas and Honneth, whose work I show to be nevertheless deeply laden with ontological commitments. I then argue that, if one accepts the socio-ontological redefinition of critical theory, then the post-metaphysical paradigm adopted by Habermas should be revised and a certain conception of the linguistic turn in the understanding of social action abandoned. On the side of contemporary social ontology, the impulse coming from critical theory should allow us to distinguish between forms of ‘traditional social ontology’, that simply apply ready-made general metaphysical concepts to social reality, and a ‘critical social ontology’, oriented to socializing ontology and critically transforming metaphysical categories. (shrink)